A Tough Nut for Mathematical Knowledge Management
نویسندگان
چکیده
In this contribution we address two related questions. Firstly, we want to shed light on the question how to use a representation formalism to represent a given problem. Secondly, we want to find out how different formalizations are related and in particular how it is possible to check that one formalization entails another. The latter question is a tough nut for mathematical knowledge management systems, since it amounts to the question, how a system can recognize that a solution to a problem is already available, although possibly in disguise. As our starting point we take McCarthy’s 1964 mutilated checkerboard challenge problem for proof procedures and compare some of its different formalizations.
منابع مشابه
Doomsday Book, Vol. II
For humans, power is in part control over their lives. History is a collection of past experiences that empower informed actions. A repertoire is the catalog of your things. A large diverse repertoire can be critical or it can be irrelevant. A great hammer is nice if the job involves a nail. You might have lots of wrenches, but not the one that bends the right way for the “tough nut”. The wrong...
متن کاملApplying Optimized Mathematical Algorithms to Forecast Stock Price Average Accredited Banks in Tehran Stock Exchange and Iran Fara Bourse
The effective role of capital in every country flows through giving guidelines for capital and resources, generalizing companies and sharing development projects with public, and also adding accredited companies stock market requires appropriate decision making for shareholders and investors who are willing to buy shares based on price mechanism. Forecasting stock price has always been a challe...
متن کاملA “Tough Nuts” Track for the IPC
In the development of the IPC, there is an ongoing conflict between pushing the frontiers, and consolidating our technology. With growing PDDL, it becomes ever more difficult to achieve both. We propose to introduce a separate instrument for consolidation. A “tough nut” is a domain that can be addressed, language-wise, by existing planning techniques, but that cannot be solved efficiently. In a...
متن کاملThe Chlamydial Type III Secretion Mechanism: Revealing Cracks in a Tough Nut
Present-day members of the Chlamydiaceae contain parasitic bacteria that have been co-evolving with their eukaryotic hosts over hundreds of millions of years. Likewise, a type III secretion system encoded within all genomes has been refined to complement the unique obligate intracellular niche colonized so successfully by Chlamydia spp. All this adaptation has occurred in the apparent absence o...
متن کاملمدیریت نوآوری در فن آوری اطلاعات و ارتباطات
The subject of information technology and communications in education has, for a while, been discussed and it has been brought up in the special education too, but the main point we are planning to discuss in this article is the optimal application in the classroom and or the management in the application of technology. In practice, helping to expand teachers' skills in information technology ...
متن کامل